Add wisent manual to build process
authorGlenn Morris <rgm@gnu.org>
Thu, 13 Dec 2012 04:47:14 +0000 (20:47 -0800)
committerGlenn Morris <rgm@gnu.org>
Thu, 13 Dec 2012 04:47:14 +0000 (20:47 -0800)
commit92c12335d252014574c267c3a7333bbc88d13a05
tree406517af7e3825202d16b6e12995757b790d57b3
parent50e717e69f892f4fe1f618581c747c932b81e9d7
Add wisent manual to build process

* doc/misc/wisent.texi: Small edits.  Set copyright to FSF, update license to
GFDL 1.3+.

* doc/misc/Makefile.in (INFO_TARGETS, DVI_TARGETS, PDF_TARGETS): Add wisent.
(wisent, $(buildinfodir)/wisent$(INFO_EXT), wisent.dvi, wisent.pdf):
New targets.

* doc/misc/makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add wisent.
($(infodir)/wisent$(INFO_EXT), wisent.dvi): New targets.

* info/dir: wisent.
ChangeLog
doc/misc/ChangeLog
doc/misc/Makefile.in
doc/misc/makefile.w32-in
doc/misc/wisent.texi
info/dir